inverse implication

反若则命题